منابع مشابه
Kleene Theorems for Product Systems
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a corresponding class of expressions. The algorithms from systems to expressions and in the reverse direction are both polynomial time. For product free choice systems with a restriction of structural cyclicity, that is, ...
متن کاملKleene Theorems for skew formal power series
We investigate the theory of skew (formal) power series introduced by Droste, Kuske [5, 6], if the basic semiring is a Conway semiring. This yields Kleene Theorems for skew power series, whose supports contain finite and infinite words. We then develop a theory of convergence in semirings of skew power series based on the discrete convergence. As an application this yields a Kleene Theorem prov...
متن کاملKleene Theorems for Labelled Free Choice Nets
In earlier work [LMP11], we showed that a graph-theoretic condition called “structural cyclicity” enables us to extract syntax from a conflict-equivalent product system of automata. In this paper we have a “pairing” property in our syntax which allows us to connect to a broader class of product systems, where the conflict-equivalence is not statically fixed. These systems have been related to l...
متن کاملKleene Theorems for Synchronous Products with Matching
In earlier work [LMP11], we showed that a graph-theoretic condition called “structural cyclicity” enables us to extract syntax from a conflict-equivalent product system of automata. In this paper we have a “pairing” property in our syntax which allows us to connect to a broader class of synchronous product systems [Arn94] with a “matching” property, where the conflict-equivalence is not statica...
متن کاملKleene-Schützenberger and Büchi theorems for weighted timed automata
Acknowledgments First of all I would like to thank Manfred Droste for his constant support and encouragement during the last three years, for giving me the possibility to research in his group, and for sharing his expertise. Furthermore, I would like to thank Patricia Bouyer-Decitre for reviewing this thesis. I am grateful for the financial support of the Deutsche Forschungsgemeinschaft through...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1964
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1964.14.1343